The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
اقرأ المزيدThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
اقرأ المزيدThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
اقرأ المزيدThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
اقرأ المزيدThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
اقرأ المزيدEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيدEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
اقرأ المزيدThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
اقرأ المزيدThis book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...
اقرأ المزيدThis two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...
اقرأ المزيدThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
اقرأ المزيدThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
اقرأ المزيدThis tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
اقرأ المزيدThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
اقرأ المزيد